1985. Pudlák: Cuts, consistency statements and interpretations